-
1 формальное обоснование
Русско-английский словарь по электронике > формальное обоснование
-
2 формальное обоснование
Русско-английский словарь по радиоэлектронике > формальное обоснование
-
3 формальное доказательство
formal demonstration мат., formal proof, formal validationРусско-английский научно-технический словарь Масловского > формальное доказательство
-
4 формальное доказательство
1) Mathematics: formal demonstration, formal proof, formal validation2) Law: requisite evidenceУниверсальный русско-английский словарь > формальное доказательство
-
5 формальное доказательство правильности программы
Русско-английский большой базовый словарь > формальное доказательство правильности программы
-
6 формальное доказательство правильности программы
Information technology: formal program proof, formal program validationУниверсальный русско-английский словарь > формальное доказательство правильности программы
-
7 гарантия
гарантия
1. Поручительство за выполнение каким-либо лицом денежных или других обязательств; в случае невыполнения обязательств гарант несет ответственность.
2. Установленное законом обязательство продавца отвечать за материальные недостатки товара и за то, что товар свободен от долговых обязательств и не находится в собственности третьих лиц. При недобросовестных поставках товара покупатель имеет право выставить продавцу целый ряд требований: аннулирование договора купли/продажи (как правило, возможно при выявлении серьезных или неустранимых дефектов); понижение продажной цены, соответствующее количеству выявленных дефектов (применяется, главным образом, при обнаружении несущественных и устранимых дефектов); исправление дефектов (применяется при устранимых дефектах); поставка с целью замены некондиционного товара (при этом некондиционный товар возвращается); дополнение недостающего (применяется при недопоставке товара). Покупатель, после того как он на законных основаниях потребовал исправления дефектов, может задержать оплату всей покупной цены до их полного устранения. Необходимо отметить, что на покупателя возлагается коммерческая ответственность своевременного предъявления претензии. По истечении определенного срока (см. давность исковая) товар будет считаться принятым, а это влечет за собой отмену всех гарантийных прав. Например, срок предъявления гарантийных претензий по движимости в Австрии составляет 6 месяцев, в Швейцарии - 1 год с момента поставки товара. Гарантии исключаются полностью, если речь заходит об очевидных дефектах, уже имевших место во время подписания договора.
[ http://www.lexikon.ru/dict/buh/index.html]
гарантия
(ITIL Service Strategy)
Гарантия того, что продукт или услуга будут соответствовать согласованным требованиям. Это может быть как формальное соглашение (например, соглашение об уровне обслуживания или контракт) так и маркетинговое заявление или имидж бренда. Гарантия характеризует возможность услуги быть доступной тогда, когда она нужна, иметь необходимую мощность и надёжность (в части безопасности и непрерывности). Гарантия – это то «как услуга предоставляется», она может использоваться для определения соответствия условиям использования услуги. Ценность ИТ-услуги для бизнеса создаётся при помощи комбинации полезности и гарантии. См. тж. подтверждение и тестирование услуг.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
warranty
(ITIL Service Strategy)
Assurance that a product or service will meet agreed requirements. This may be a formal agreement such as a service level agreement or contract, or it may be a marketing message or brand image. Warranty refers to the ability of a service to be available when needed, to provide the required capacity, and to provide the required reliability in terms of continuity and security. Warranty can be summarized as ‘how the service is delivered’, and can be used to determine whether a service is ‘fit for use’. The business value of an IT service is created by the combination of utility and warranty. See also service validation and testing.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
EN
2.21 гарантия (guarantee): См. определение «гарантийное обязательство» в 2.36.
Источник: ГОСТ Р 54581-2011: Информационная технология. Методы и средства обеспечения безопасности. Основы доверия к безопасности ИТ. Часть 1. Обзор и основы оригинал документа
Русско-английский словарь нормативно-технической терминологии > гарантия
См. также в других словарях:
Formal epistemology — is a subdiscipline of epistemology that utilizes formal methods from logic, probability theory and computability theory to elucidate traditional epistemic problems. TopicsSome of the topics that come under the heading of formal epistemology… … Wikipedia
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Validation rule — A Validation rule is a criterion used in the process of data validation, carried out after the data has been encoded onto an input medium and involves a data vet or validation program. This is distinct from formal verification, where the… … Wikipedia
validation — validate val‧i‧date [ˈvældeɪt] verb [transitive] formal to prove that something is true, correct, or acceptable: • The federal court overturned court rulings validating the company s patent. • Our data is validated to ensure reliability.… … Financial and business terms
Verification and Validation (software) — In software project management, software testing, and software engineering, Verification and Validation (V V) is the process of checking that a software system meets specifications and that it fulfils its intended purpose. It is normally part of… … Wikipedia
Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… … Wikipedia
Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… … Wikipedia
Post-silicon validation — and debug is the last step in the development of a semiconductor integrated circuit. During the pre silicon process, engineers test devices in a virtual environment with sophisticated simulation, emulation, and formal verification tools. In… … Wikipedia
Post silicon validation — and debug is the last step in the development of a semiconductor integrated circuit. During the pre silicon process, engineers test devices in a virtual environment with sophisticated simulation, emulation, and formal verification tools. In… … Wikipedia
VAE (Validation des Acquis de l'Experience) — The VAE or Validation des Acquis de l Expérience is a procedure that allows any French educational institution to grant degrees partly or totally on work experience. A porfolio of the applicant s achievements and work experience is presented to a … Wikipedia
Computerized system validation — Computer system validation (CSV) is the documented process of assuring that a computer system does exactly what it is designed to do in a consistent and reproducible manner. The validation process begins with the system proposal/requirements… … Wikipedia